home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / quintus_2.05.8 < prev    next >
Text File  |  1992-04-03  |  802b  |  52 lines
  1. %%%
  2. %%% version 2.05.3
  3. %%%   initial version
  4. %%% version 2.05.4
  5. %%%   added banner to Quintus version
  6. %%% version 2.05.8
  7. %%%   added quintus_compile_options
  8. %%%
  9.  
  10. %%%
  11. %%% Specific code for Quintus Prolog.
  12. %%%
  13.  
  14. %%%
  15. %%% Initialization.
  16. %%%
  17.     :- initialization(unknown(_,fail)).
  18.  
  19. %%%
  20. %%% Cputime/1.
  21. %%%
  22.     cputime(X) :-
  23.       statistics(runtime,[Y,_]),
  24.       X is Y/1000.
  25.  
  26. %%%
  27. %%% Floor/2.
  28. %%%
  29.     floor(X,Y) :-
  30.       X < 0,
  31.       !,
  32.       Y is integer(X) - 1.
  33.     floor(X,Y) :-
  34.       Y is integer(X).
  35.  
  36. %%%
  37. %%% Not/1.
  38. %%%
  39.     not(X) :-
  40.       \+ X.
  41.  
  42. %%%
  43. %%% Quintus_banner/0.
  44. %%%
  45.     quintus_banner :-
  46.       clin_version(Version),
  47.       nl, tab(15),write('WELCOME TO CLIN '),
  48.       write(Version),nl,
  49.       write('(c) 1991 by Geoff Alexander, Shie-Jue Lee, and David Plaisted'),
  50.       nl,nl,nl,
  51.       !.
  52.